Functorial Calculus in Monoidal Bicategories

نویسنده

  • Ross Street
چکیده

The definition and calculus of extraordinary natural transformations [EK] is extended to a context internal to any autonomous monoidal bicategory [DyS]. The original calculus is recaptured from the geometry [SV], [MT] of the monoidal bicategory V-Mod whose objects are categories enriched in a cocomplete symmetric monoidal category V and whose morphisms are modules. Mathematics Subject Classifications (2000): 18D05, 18D10, 18D20.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Classifying Spaces for Braided Monoidal Categories and Lax Diagrams of Bicategories

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. I...

متن کامل

K-theory for 2-categories

We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of Γ-objects in 2-categories. In the course of the proof we establish strictfication results of independent interest for symmetric monoidal bicategories and for diagrams of 2-categories. CONTENTS

متن کامل

An Alternative Description of Braided Monoidal Categories

We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an...

متن کامل

Framed Bicategories and Monoidal Fibrations

In some bicategories, the 1-cells are ‘morphisms’ between the 0cells, such as functors between categories, but in others they are ‘objects’ over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many bicategorical notions do not work well in these cases, because the ‘morphisms between 0-cells’, such as ring homomorphisms, are missing. We can include them by using a p...

متن کامل

Compact Closed Bicategories

Abstract. A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual “zig-zag” identities of a compact closed category only up to natural isomorphism, and the isomorphism is subject to a coherence law. We give several examples of compact closed bicategories, then review previous work. In particular, Day a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 11  شماره 

صفحات  -

تاریخ انتشار 2003